Reduction of Syllogisms